1. Elementary induction on abstract structure
پدیدآورنده : Moschovakis, Yiannis N
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursive functions,، Induction )Mathematics(
رده :
QA
248
.
5
.
M67
2. Elementary induction on abstract structures
پدیدآورنده : Moschovakis, Yiannis N.
موضوع : ، Recursive functions,، Induction )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Elementary induction on abstract structures
پدیدآورنده : Moschovakis, Yiannis N.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Recursive functions,، Induction )Mathematics(
رده :
QA
248
.
5
.
M67
4. Elementary induction on abstract structures
پدیدآورنده : / Yiannis N. Moschovakis
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Recursive functions,Induction (Mathematics)
رده :
511
.
2
M896
5. The Foundations of intuitionistic mathematics; especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole, 9091-
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Constructive mathematics,، Recursive functions
رده :
QA
9
.
K648
6. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics,، Recursive functions
رده :
QA
9
.
K648
7. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematics,، Recursive functions
رده :
QA
248
.
5
.
K6
8. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Intuitionistic mathematics,، Recursive functions
رده :
QA
9
.
K648
9. Theory of formal systems
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Recursive functions,، Mathematics
رده :
QA
1
.
A626
no
.
47
10. Theory of formal systems /
پدیدآورنده : R.M. Smullyan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
رده :
QA248
.
5
